prove lines are parallel